Formal Semantics of Coordinative Workkow Speciications

To advance the coordinative business processing cognition of conceptual workkow spec-iications, several fundamental extensions of execution dependency, over and above process to process triggering, are recognised. These include: information passing through buuers and messaging, abort handling, and the application of decomposition for decision processing. The addition of these concepts, however, can complicate the overall meaning of a workkow's execution, given the highly concurrent processing nature of workkow domains. To demonstrate such a workkow's formal semantics, we apply these extensions to a conceptual workkow speciication technique, and we translate its execution constructs into Process Algebra equations.